A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
نویسندگان
چکیده
In this paper we present a new fast tableau-based decision procedure for the ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps. The underlying tableau calculus is based upon the system KE.
منابع مشابه
A New Fast Tableau - Based Decision Procedurefor an Unquanti ed Fragment of Set Theory ?
In this paper we present a new fast tableau-based decision procedure for the ground set-theoretic fragment Multi-Level Syllogistic with Singleton (in short MLSS) which avoids the interleaving of model checking steps. The underlying tableau calculus is based upon the system KE.
متن کاملA Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification
We extend the unquantiied set-theoretic fragment discussed in 1] with a restricted form of quantiication, we prove decidability of the resulting fragment by means of a tableau calculus and we address the eeciency problem of the underlying decision procedure, by showing that the model-checking steps used in 1] are not necessary.
متن کاملA tableau - based decision procedure for afragment of set theory involving a restrictedform of quanti cation ? Domenico Cantone 1 and Calogero
We extend the unquantiied set-theoretic fragment discussed in 1] with a restricted form of quantiication, we prove decidability of the resulting fragment by means of a tableau calculus and we address the eeciency problem of the underlying decision procedure, by showing that the model-checking steps used in 1] are not necessary.
متن کاملAn extended hesitant group decision-making technique based on the prospect theory for emergency situations
Throughout the present manuscript, we are going to introduce a novel group emergency decision-making technique in which the application of prospect theory explains the psychological behaviour of the decision maker who is affected by the hesitancy and uncertainty of cognition in decision making problems.\Instead of usual aggregation procedure, we implement here a new fusion technique that ...
متن کاملSolvable Set/Hyperset Contexts: III. A Tableau System for a Fragment of Hyperset Theory
We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfy...
متن کامل